In computer science, a type system is a system used with a programming language to help reduce bugs in computer programs. A type system is used as part of defining interfaces between different parts of a computer program, and then checking that the parts have been connected in a consistent way.
详细百科解释